H.Nakano, "A modality for recursion"